Formal Framework for Discrete-Event Simulation
نویسندگان
چکیده
منابع مشابه
A JAVA-BASED FRAMEWORK FOR DISCRETE EVENT SIMULATION A framework for Discrete Event Simulation and MOdeling
The system presented bridges the gap between three different research areas: discrete event simulation, heuristic optimization methods and distributed systems technology. Its goal is to provide a framework which supports an efficient implementation of simulation optimization projects, including heuristic optimum seeking procedures and parallel execution of experiments. It is written completely ...
متن کاملFramework for Event Discrete Simulation (FEDS)
Wireless Sensor Networks (WSN) have recently gained much momentum in research and development, its potential to provide valuable services in key areas like military surveillances and mobile applications have attracted much attention from government and commercial research organisations. Researchers however, might not have the resources to purchase large numbers of sensors to obtain concrete res...
متن کاملFramework for Ecolabeling using Discrete Event Simulation
Ecolabled products have shown a competitive advantage to other products. Regulatory changes and market pressure creates an increased need for environmental impact assessments. The dominating method for environmental impact assessments life cycle assessment (LCA) lacks support to properly analyze the dynamic aspects of business operations and production processes. This Paper proposes to use disc...
متن کاملA Framework for Discrete Event Modelling & Simulation
The paper discusses a layered design for a discrete event simulation framework based on the Beta programming language. A description of goals and motivation of simulation modelling is followed by a brief characterization of Beta and its suitability for work this area. After some general comments on the history and state of simulation programming the design of the BetaSIM framework is illustrate...
متن کاملA Formal Framework for Stochastic Discrete Event System Specification Modeling and Simulation
We introduce an extension of the classic Discrete Event System Specification (DEVS) formalism that includes stochastic features. Based on the use of the probability spaces theory we define the stochastic DEVS (STDEVS) specification, which provides a formal framework for modeling and simulation of general non-deterministic discrete event systems. The main theoretical properties of the STDEVS fra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC-PapersOnLine
سال: 2017
ISSN: 2405-8963
DOI: 10.1016/j.ifacol.2017.08.535